/* 
类型推断: TS会在没有明确的指定类型的时候推测出一个类型
    定义变量时赋值了, 推断为对应的类型
    定义变量时没有赋值, 推断为any类型
*/

(() => {
   let a = 3   // 定义变量时如果初始化赋值了,  变量的类型被推断为值的类型
//    a = 'abc'
    let b    // 定义变量时如果没有指定初始值, 被推断为any类型
    b = 4
    b = 'abc'

})()
